Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
71	/tmp/scitmpfigure3.eps Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Logic Algorithm Mathematical logic Theoretical computer science Modal logic Philosophy Abstraction
72	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
73	QED.sty — right-justified end-of-proof mark Paul Taylor Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:57:49 Software Computing Logic Mathematical proofs Proof theory Logical consequence Statements Theorem LaTeX Ed TeX QED
74	LANGUAGE LEARNING AND DEVELOPMENT, 2(2), 77–96 Copyright © 2006, Lawrence Erlbaum Associates, Inc. Asymmetries in the Acquisition of Numbers and Quantifiers Felicia Hurewitz Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2015-10-27 17:01:33 Logic Philosophy Quantification Abstraction Semantics Ontology Quantifier Count noun Proposition Implicature Quantity Mathematical logic
75	Joint People, Event, and Location Recognition in Personal Photo Collections using Cross-Domain Context ? Dahua Lin1,2 , Ashish Kapoor2 , Gang Hua3 , and Simon Baker2 1 Add to Reading List Source URL: dahua.me Language: English - Date: 2013-01-06 22:24:33 Mathematics Mathematical logic Logic Philosophy of mathematics Relational model Finitary relation Binary relation Image segmentation Structure
76	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra
77	To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus
78	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-09-17 16:23:24 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
79	Voyage to the land of Erd¨os Macintyre meeting Ehud Hrushovski August 22, Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2014-08-22 07:08:07 Mathematics Logic Abstraction Mathematical structures Model theory Mathematical logic Generalized functions Mathematical analysis Structure Constructible universe Distribution Metric space
80	Mathware & Soft ComputingOrderings of Fuzzy Sets Based on Fuzzy Orderings Part II: Generalizations Ulrich Bodenhofer Institute of Bioinformatics, Johannes Kepler University Linz Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-09-23 05:31:07 Fuzzy logic Logic Mathematical logic Fuzzy set T-norm First-order logic Membership function